Section: Partnerships and Cooperations
Regional Initiatives
ELEFFAN
Participant : Sylvie Boldo [contact] .
ELEFFAN is a Digicosme project funding the PhD of F. Faissole. S. Boldo is the principal investigator. It began in 2016 for three years. https://project.inria.fr/eleffan/
The ELEFFAN project aims at formally proving rounding error bounds of numerical schemes.
Partners: ENSTA Paristech (A. Chapoutot)